Construct Your Own Favorite Programming Language
نویسنده
چکیده
We investigate how the need for evermore programming languages arises, and how to fulfill this need. We show how the gap between building a library using an existing language and constructing a completely new language narrows. In doing so we discuss a few of the past and current research results from the Software Technology group at Utrecht University.
منابع مشابه
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings
Find the secret to improve the quality of life by reading this programming language implementation and logic programming 3rd international symposium plilp 91 pa. This is a kind of book that you need now. Besides, it can be your favorite book to read after having this book. Do you ask why? Well, this is a book that has different characteristic with others. You may not need to know who the author...
متن کاملRefinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)
Refinement Reflection turns your favorite programming language into a proof assistant by reflecting the code implementing a userdefined function into the function’s (output) refinement type. As a consequence, at uses of the function, the function definition is unfolded into the refinement logic in a precise, predictable and most importantly, programmer controllable way. In the logic, we encode ...
متن کاملAssembly language programming for the 68000
Find the secret to improve the quality of life by reading this assembly language programming for the 68000. This is a kind of book that you need now. Besides, it can be your favorite book to read after having this book. Do you ask why? Well, this is a book that has different characteristic with others. You may not need to know who the author is, how well-known the work is. As wise word, never j...
متن کاملTowards a New Personal Information Technology Acceptance Model: Conceptualization and Empirical Evidence from a Bring Your Own Device Dataset
By considering recent findings from cognitive dual process theories, I propose a new technology acceptance model for situations in which IT is used everyday. The so-called “Personal Information Technology Acceptance Model” (PITAM) will be applied to the IT-consumerization area and it will be evaluated by a Bring Your Own Device (BYOD) dataset from 171 working professionals aged from 18 to 68 ye...
متن کاملDAMLJessKB: a tool for reasoning with the semantic web - Intelligent Systems, IEEE [see also IEEE Expert]
74 1094-7167/03/$17.00 © 2003 IEEE IEEE INTELLIGENT SYSTEMS ontologies that you’ll need for your applications, and begun to develop your own set of ontologies to describe your domains’ semantics. The DARPA Agent Markup Language (or, similarly, the Ontology Web Language, as we discuss later) is your favorite thing to come along since you installed Mosaic version 0.13. You’re in the process of co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009